Computing multihomogeneous resultants using straight-line programs
نویسندگان
چکیده
We present a new algorithm for the computation of resultants associated with multihomogeneous (and, in particular, homogeneous) polynomial equation systems using straight-line programs. Its complexity is polynomial in the number of coefficients of the input system and the degree of the resultant computed.
منابع مشابه
Multihomogeneous resultant formulae by means of complexes
The first step in the generalization of the classical theory of homogeneous equations to the case of arbitrary support is to consider algebraic systems with multihomogeneous structure. We propose constructive methods for resultant matrices in the entire spectrum of resultant formulae, ranging from pure Sylvester to pure Bézout types, and including matrices of hybrid type of these two. Our appro...
متن کاملStudy of multihomogeneous polynomial systems via resultant matrices
Resultants provide conditions for the solvability of polynomial equations and allow reducing polynomial system solving to linear algebra computations. Sparse resultants depend on the Newton polytopes of the input equations. This polytope is the convex hull of the exponent vectors corresponding to the nonzero monomials of the equations (viewed as lattice points in the Cartesian space of dimensio...
متن کاملImplicit Computation: an Output-Polynomial Algorithm for Evaluating Straight-Line Programs
theory of computation, randomized algorithms, straight-line programs, output-polynomial algorithms Inputless straight-line programs using addition, subtraction and multiplication are considered. An output-polynomial algorithm is given for computing the output of such a program. The program runs in time polynomial in the length of the program and the length of its output. As a consequence, even ...
متن کاملMultihomogeneous resultant matrices for systems with scaled support
Constructive methods for matrices of multihomogeneous (or multigraded) resultants for unmixed systems have been studied by Weyman, Zelevinsky, Sturmfels, Dickenstein and Emiris. We generalize these constructions to mixed systems, whose Newton polytopes are scaled copies of one polytope, thus taking a step towards systems with arbitrary supports. First, we specify matrices whose determinant equa...
متن کاملFaster fully compressed pattern matching algorithm for a subclass of straight-line programs
We show an efficient pattern-matching algorithm for strings that are succinctly described in terms of straight-line programs, in which the constants are symbols and the only operation is the concatenation. In this paper, both text T and pattern P are given by straight-line programs T and P. The length of the text T (pattern P , resp.) may grow exponentially with respect to its description size ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 42 شماره
صفحات -
تاریخ انتشار 2007